// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_UMLSL2_4S_TRACE_AARCH64_H_
#define VIXL_SIM_UMLSL2_4S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_umlsl2_4S[] = {
  0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
  0xc0027ffa, 0xc0017fff, 0x00000002, 0x00000020,
  0xc001fffd, 0x00000001, 0xffff8003, 0x00000020,
  0x00000000, 0xffff8003, 0xffff0004, 0x00000020,
  0xffff8003, 0xffff0005, 0xfff80012, 0x00000020,
  0xffff0006, 0xfff80021, 0xffc1807f, 0x00000020,
  0xfff80030, 0xffc180fb, 0xffc10080, 0x00000020,
  0xffc18177, 0xffc100fd, 0xffc08081, 0x00000020,
  0xffc1017a, 0xffc080ff, 0xe666b335, 0x00000020,
  0xffc0817d, 0xe666e667, 0xd555d557, 0x00000020,
  0xe6671999, 0xd5562aab, 0xc001ffff, 0x00000020,
  0xd5567fff, 0xc0027ffb, 0xc0018000, 0x00000020,
  0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
  0xc0027ffa, 0xc0017fff, 0xc0008002, 0x00000020,
  0xc001fffd, 0xc0010001, 0xc0000003, 0x00000020,
  0xc0018000, 0xc0008003, 0xaaabaaac, 0x00000020,
  0xc0010003, 0xaaac5555, 0x999accce, 0x00000020,
  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x00000020,
  0x999c6664, 0x8041ff01, 0x80407f83, 0x00000020,
  0x8042fe80, 0x80417f03, 0x803fff84, 0x00000020,
  0x80427e83, 0x8040ff05, 0x803f7f85, 0x00000020,
  0x8041fe86, 0x80407f07, 0x8008fff2, 0x00000020,
  0x80417e89, 0x8009ffe1, 0x80027fff, 0x00000020,
  0x800affd0, 0x80037ffb, 0x80020000, 0x00000020,
  0x80037ffa, 0x8001ffff, 0x00000002, 0x00000020,
  0x8002fffc, 0x80018000, 0x00000002, 0x0000001f,
  0x80027ffe, 0x00000001, 0x00000002, 0x0000001e,
  0x00000000, 0xffff8002, 0x00000002, 0x00000010,
  0xffff8002, 0xffff0003, 0x00000002, 0xffffffa3,
  0xffff0004, 0xfff80011, 0x00000002, 0xffffffa2,
  0xfff80020, 0xffc1807e, 0x00000002, 0xffffffa1,
  0xffc180fa, 0xffc1007f, 0x00000002, 0xffffcced,
  0xffc100fc, 0xffc08080, 0x00000002, 0xffffaacb,
  0xffc080fe, 0xe666b334, 0x00000002, 0xffff8023,
  0xe666e666, 0xd555d556, 0x00000002, 0xffff8022,
  0xd5562aaa, 0xc001fffe, 0x00000002, 0xffff8021,
  0xc0027ffa, 0xc0017fff, 0x00000002, 0xffff8020,
  0xc001fffc, 0xc0010000, 0x00000002, 0xffff801f,
  0xc0017ffe, 0xc0008001, 0x00000002, 0xffff5576,
  0xc0010000, 0xc0000002, 0x00000002, 0xffff3354,
  0xc0008002, 0xaaabaaab, 0x00000002, 0xffff00a0,
  0xaaac5554, 0x999acccd, 0x00000002, 0xffff009f,
  0x999b9998, 0x8040ff81, 0x00000002, 0xffff009e,
  0x8041ff00, 0x80407f82, 0x00000002, 0xffff009d,
  0x80417f02, 0x803fff83, 0x00000002, 0xffff0030,
  0x8040ff04, 0x803f7f84, 0x00000002, 0xffff0023,
  0x80407f06, 0x8008fff1, 0x00000002, 0xffff0022,
  0x8009ffe0, 0x80027ffe, 0x00000002, 0xffff0021,
  0x80027ffd, 0x00000001, 0xffff0003, 0x00000020,
  0x8001fffe, 0x00000001, 0x00000002, 0x0000001e,
  0x80017fff, 0x00000001, 0x00000001, 0x0000001c,
  0x00000000, 0x00000001, 0x00000000, 0x00000000,
  0xffff8001, 0x00000001, 0xfffffff2, 0xffffff26,
  0xffff0002, 0x00000001, 0xffffff85, 0xffffff24,
  0xfff80010, 0x00000001, 0xffffff84, 0xffffff22,
  0xffc1807d, 0x00000001, 0xffffff83, 0xffff99ba,
  0xffc1007e, 0x00000001, 0xffffcccf, 0xffff5576,
  0xffc0807f, 0x00000001, 0xffffaaad, 0xffff0026,
  0xe666b333, 0x00000001, 0xffff8005, 0xffff0024,
  0xd555d555, 0x00000001, 0xffff8004, 0xffff0022,
  0xc001fffd, 0x00000001, 0xffff8003, 0xffff0020,
  0xc0017ffe, 0x00000001, 0xffff8002, 0xffff001e,
  0xc000ffff, 0x00000001, 0xffff8001, 0xfffeaacc,
  0xc0008000, 0x00000001, 0xffff5558, 0xfffe6688,
  0xc0000001, 0x00000001, 0xffff3336, 0xfffe0120,
  0xaaabaaaa, 0x00000001, 0xffff0082, 0xfffe011e,
  0x999acccc, 0x00000001, 0xffff0081, 0xfffe011c,
  0x8040ff80, 0x00000001, 0xffff0080, 0xfffe011a,
  0x80407f81, 0x00000001, 0xffff007f, 0xfffe0040,
  0x803fff82, 0x00000001, 0xffff0012, 0xfffe0026,
  0x803f7f83, 0x00000001, 0xffff0005, 0xfffe0024,
  0x8008fff0, 0x00000001, 0xffff0004, 0xfffe0022,
  0x00000000, 0xffff0003, 0xfffe0004, 0x00000020,
  0x00000000, 0xffff0002, 0x00000002, 0x00000010,
  0x00000000, 0x00000001, 0x00000000, 0x00000000,
  0x00000000, 0x00000000, 0xfffffffe, 0xffffff20,
  0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
  0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
  0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
  0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
  0x00000000, 0xffff8003, 0xffff0004, 0xfff80020,
  0x00000000, 0xffff8002, 0xffff0002, 0xfff80010,
  0x00000000, 0xffff8001, 0xffff0000, 0xfff55580,
  0x00000000, 0xffff8000, 0xfffeaaae, 0xfff33360,
  0x00000000, 0xffff5557, 0xfffe666a, 0xfff00820,
  0x00000000, 0xffff3335, 0xfffe0102, 0xfff00810,
  0x00000000, 0xffff0081, 0xfffe0100, 0xfff00800,
  0x00000000, 0xffff0080, 0xfffe00fe, 0xfff007f0,
  0x00000000, 0xffff007f, 0xfffe00fc, 0xfff00120,
  0x00000000, 0xffff007e, 0xfffe0022, 0xfff00050,
  0x00000000, 0xffff0011, 0xfffe0008, 0xfff00040,
  0x00000000, 0xffff0004, 0xfffe0006, 0xfff00030,
  0xffff0003, 0xfffe0005, 0xfff00012, 0x00000020,
  0xffff0002, 0xfffe0003, 0x00000002, 0xffffffa3,
  0xffff0001, 0x00000001, 0xfffffff2, 0xffffff26,
  0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
  0xffffffff, 0xfffffffd, 0xffffff02, 0xffffc317,
  0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
  0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
  0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
  0xffff8003, 0xffff0005, 0xfff80012, 0xffc18020,
  0xffff8002, 0xffff0003, 0xfff80002, 0xffc17fa3,
  0xffff8001, 0xffff0001, 0xfff7fff2, 0xffacab1e,
  0xffff8000, 0xfffeffff, 0xfff55562, 0xff9c0084,
  0xffff7fff, 0xfffeaaad, 0xfff33342, 0xff833ea0,
  0xffff5556, 0xfffe6669, 0xfff00802, 0xff833e23,
  0xffff3334, 0xfffe0101, 0xfff007f2, 0xff833da6,
  0xffff0080, 0xfffe00ff, 0xfff007e2, 0xff833d29,
  0xffff007f, 0xfffe00fd, 0xfff007d2, 0xff8307f0,
  0xffff007e, 0xfffe00fb, 0xfff00102, 0xff830197,
  0xffff007d, 0xfffe0021, 0xfff00032, 0xff83011a,
  0xffff0010, 0xfffe0007, 0xfff00022, 0xff83009d,
  0xfffe0006, 0xfff00021, 0xff83007f, 0x00000020,
  0xfffe0004, 0xfff00011, 0x00000002, 0xffffffa2,
  0xfffe0002, 0x00000001, 0xffffff85, 0xffffff24,
  0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
  0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
  0xfffffffc, 0xffffff01, 0xffffc2f9, 0xffffc21c,
  0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
  0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
  0xffff0006, 0xfff80021, 0xffc1807f, 0xffc10020,
  0xffff0004, 0xfff80011, 0xffc18002, 0xffc0ffa2,
  0xffff0002, 0xfff80001, 0xffc17f85, 0xffac0074,
  0xffff0000, 0xfff7fff1, 0xffacab00, 0xff9b33b8,
  0xfffefffe, 0xfff55561, 0xff9c0066, 0xff823f20,
  0xfffeaaac, 0xfff33341, 0xff833e82, 0xff823ea2,
  0xfffe6668, 0xfff00801, 0xff833e05, 0xff823e24,
  0xfffe0100, 0xfff007f1, 0xff833d88, 0xff823da6,
  0xfffe00fe, 0xfff007e1, 0xff833d0b, 0xff820800,
  0xfffe00fc, 0xfff007d1, 0xff8307d2, 0xff82019a,
  0xfffe00fa, 0xfff00101, 0xff830179, 0xff82011c,
  0xfffe0020, 0xfff00031, 0xff8300fc, 0xff82009e,
  0xfff00030, 0xff8300fb, 0xff820080, 0x00000020,
  0xfff00020, 0xff83007e, 0x00000002, 0xffffffa1,
  0xfff00010, 0x00000001, 0xffffff84, 0xffffff22,
  0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
  0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
  0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
  0xffffff00, 0xffffc2f8, 0xffffc1fe, 0xffffc11f,
  0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
  0xfff80030, 0xffc180fb, 0xffc10080, 0xffc08020,
  0xfff80020, 0xffc1807e, 0xffc10002, 0xffc07fa1,
  0xfff80010, 0xffc18001, 0xffc0ff84, 0xffab55ca,
  0xfff80000, 0xffc17f84, 0xffac0056, 0xff9a66ec,
  0xfff7fff0, 0xffacaaff, 0xff9b339a, 0xff813fa0,
  0xfff55560, 0xff9c0065, 0xff823f02, 0xff813f21,
  0xfff33340, 0xff833e81, 0xff823e84, 0xff813ea2,
  0xfff00800, 0xff833e04, 0xff823e06, 0xff813e23,
  0xfff007f0, 0xff833d87, 0xff823d88, 0xff810810,
  0xfff007e0, 0xff833d0a, 0xff8207e2, 0xff81019d,
  0xfff007d0, 0xff8307d1, 0xff82017c, 0xff81011e,
  0xfff00100, 0xff830178, 0xff8200fe, 0xff81009f,
  0xff830177, 0xff8200fd, 0xff810081, 0x00000020,
  0xff8300fa, 0xff82007f, 0x00000002, 0xffffcced,
  0xff83007d, 0x00000001, 0xffffff83, 0xffff99ba,
  0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
  0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
  0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
  0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
  0xffffc2f7, 0xffffc1fd, 0xffffc101, 0xf5c2a3f7,
  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
  0xffc18177, 0xffc100fd, 0xffc08081, 0xe6668020,
  0xffc180fa, 0xffc1007f, 0xffc08002, 0xe6664ced,
  0xffc1807d, 0xffc10001, 0xffc07f83, 0xddde2242,
  0xffc18000, 0xffc0ff83, 0xffab55ac, 0xd70a8f7c,
  0xffc17f83, 0xffac0055, 0xff9a66ce, 0xcce699a0,
  0xffacaafe, 0xff9b3399, 0xff813f82, 0xcce6666d,
  0xff9c0064, 0xff823f01, 0xff813f03, 0xcce6333a,
  0xff833e80, 0xff823e83, 0xff813e84, 0xcce60007,
  0xff833e03, 0xff823e05, 0xff813e05, 0xccd03350,
  0xff833d86, 0xff823d87, 0xff8107f2, 0xcccd99b9,
  0xff833d09, 0xff8207e1, 0xff81017f, 0xcccd6686,
  0xff8307d0, 0xff82017b, 0xff810100, 0xcccd3353,
  0xff82017a, 0xff8100ff, 0xcccd3335, 0x00000020,
  0xff8200fc, 0xff810080, 0x00000002, 0xffffaacb,
  0xff82007e, 0x00000001, 0xffffcccf, 0xffff5576,
  0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
  0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
  0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
  0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
  0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
  0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
  0xffc1017a, 0xffc080ff, 0xe666b335, 0xd5558020,
  0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
  0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
  0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
  0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
  0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
  0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
  0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
  0xff823e82, 0xff813e83, 0xcce5ffe9, 0xaab05570,
  0xff823e04, 0xff813e04, 0xccd03332, 0xaaac001f,
  0xff823d86, 0xff8107f1, 0xcccd999b, 0xaaabaaca,
  0xff8207e0, 0xff81017e, 0xcccd6668, 0xaaab5575,
  0xff81017d, 0xcccd6667, 0xaaab5557, 0x00000020,
  0xff8100fe, 0xcccd3334, 0x00000002, 0xffff8023,
  0xff81007f, 0x00000001, 0xffffaaad, 0xffff0026,
  0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
  0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
  0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
  0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
  0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
  0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
  0xffffc0ff, 0xf5c2a3d8, 0xe38e71c9, 0xc0030017,
  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
  0xffc0817d, 0xe666e667, 0xd555d557, 0xc0018020,
  0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
  0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
  0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
  0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
  0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
  0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
  0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
  0xff813f01, 0xcce6331b, 0xaad4aa83, 0x800afff0,
  0xff813e82, 0xcce5ffe8, 0xaab05552, 0x80048017,
  0xff813e03, 0xccd03331, 0xaaac0001, 0x8004001a,
  0xff8107f0, 0xcccd999a, 0xaaabaaac, 0x8003801d,
  0xcccd9999, 0xaaabaaab, 0x80037fff, 0x00000020,
  0xcccd6666, 0xaaab5556, 0x00000002, 0xffff8022,
  0xcccd3333, 0x00000001, 0xffff8005, 0xffff0024,
  0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
  0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
  0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
  0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
  0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
  0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
  0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
  0xf5c2a3d7, 0xe38e71c8, 0xc002fff9, 0xc002001c,
  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
  0xe6671999, 0xd5562aab, 0xc001ffff, 0xc0010020,
  0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
  0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
  0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
  0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
  0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
  0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
  0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
  0xcce6664d, 0xaad4ffd7, 0x80417e8b, 0x800a0000,
  0xcce6331a, 0xaad4aa82, 0x800affd2, 0x8003801a,
  0xcce5ffe7, 0xaab05551, 0x80047ff9, 0x8003001c,
  0xccd03330, 0xaaac0000, 0x8003fffc, 0x8002801e,
  0xaaabffff, 0x8003fffb, 0x80028000, 0x00000020,
  0xaaabaaaa, 0x80037ffe, 0x00000002, 0xffff8021,
  0xaaab5555, 0x00000001, 0xffff8004, 0xffff0022,
  0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
  0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
  0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
  0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
  0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
  0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
  0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
  0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
  0xe38e71c7, 0xc002fff8, 0xc001fffe, 0xc001001f,
  0xd5567fff, 0xc0027ffb, 0xc0018000, 0xc0008020,
  0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
  0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
  0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
  0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
  0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
  0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
  0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
  0xaad5552b, 0x8041fe87, 0x80407f08, 0x80090010,
  0xaad4ffd6, 0x80417e8a, 0x8009ffe2, 0x8002801d,
  0xaad4aa81, 0x800affd1, 0x80037ffc, 0x8002001e,
  0xaab05550, 0x80047ff8, 0x8002fffe, 0x8001801f,
  0x80047ff7, 0x8002fffd, 0x80018001, 0x00000020,
  0x8003fffa, 0x80027fff, 0x00000002, 0xffff8020,
  0x80037ffd, 0x00000001, 0xffff8003, 0xffff0020,
  0x00000000, 0xffff8003, 0xffff0004, 0xfff80020,
  0xffff8003, 0xffff0005, 0xfff80012, 0xffc18020,
  0xffff0006, 0xfff80021, 0xffc1807f, 0xffc10020,
  0xfff80030, 0xffc180fb, 0xffc10080, 0xffc08020,
  0xffc18177, 0xffc100fd, 0xffc08081, 0xe6668020,
  0xffc1017a, 0xffc080ff, 0xe666b335, 0xd5558020,
  0xffc0817d, 0xe666e667, 0xd555d557, 0xc0018020,
  0xe6671999, 0xd5562aab, 0xc001ffff, 0xc0010020,
  0xd5567fff, 0xc0027ffb, 0xc0018000, 0xc0008020,
  0xc002fff7, 0xc001fffd, 0xc0010001, 0xc0000020,
  0xc0027ffa, 0xc0017fff, 0xc0008002, 0xbfff8020,
  0xc001fffd, 0xc0010001, 0xc0000003, 0xaaab0020,
  0xc0018000, 0xc0008003, 0xaaabaaac, 0x999a0020,
  0xc0010003, 0xaaac5555, 0x999accce, 0x80400020,
  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x803f8020,
  0x999c6664, 0x8041ff01, 0x80407f83, 0x803f0020,
  0x8042fe80, 0x80417f03, 0x803fff84, 0x803e8020,
  0x80427e83, 0x8040ff05, 0x803f7f85, 0x80080020,
  0x8041fe86, 0x80407f07, 0x8008fff2, 0x80018020,
  0x80417e89, 0x8009ffe1, 0x80027fff, 0x80010020,
  0x800affd0, 0x80037ffb, 0x80020000, 0x80008020,
  0x80037ffa, 0x8001ffff, 0x80008002, 0x00000020,
  0x8002fffc, 0x80018000, 0x00000002, 0xffff801f,
  0x80027ffe, 0x00000001, 0xffff8002, 0xffff001e,
  0x00000000, 0xffff8002, 0xffff0002, 0xfff80010,
  0xffff8002, 0xffff0003, 0xfff80002, 0xffc17fa3,
  0xffff0004, 0xfff80011, 0xffc18002, 0xffc0ffa2,
  0xfff80020, 0xffc1807e, 0xffc10002, 0xffc07fa1,
  0xffc180fa, 0xffc1007f, 0xffc08002, 0xe6664ced,
  0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
  0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
  0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
  0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
  0xc0027ffa, 0xc0017fff, 0xc0008002, 0xbfff8020,
  0xc001fffc, 0xc0010000, 0xc0000002, 0xbfff001f,
  0xc0017ffe, 0xc0008001, 0xbfff8002, 0xaaaa5576,
  0xc0010000, 0xc0000002, 0xaaab0002, 0x99993354,
  0xc0008002, 0xaaabaaab, 0x999a0002, 0x803f00a0,
  0xaaac5554, 0x999acccd, 0x80400002, 0x803e809f,
  0x999b9998, 0x8040ff81, 0x803f8002, 0x803e009e,
  0x8041ff00, 0x80407f82, 0x803f0002, 0x803d809d,
  0x80417f02, 0x803fff83, 0x803e8002, 0x80070030,
  0x8040ff04, 0x803f7f84, 0x80080002, 0x80008023,
  0x80407f06, 0x8008fff1, 0x80018002, 0x80000022,
  0x8009ffe0, 0x80027ffe, 0x80010002, 0x7fff8021,
  0x80027ffd, 0x80010001, 0x7fff8003, 0x00000020,
  0x8001fffe, 0x80008001, 0x00000002, 0xffff5576,
  0x80017fff, 0x00000001, 0xffff8001, 0xfffeaacc,
  0x00000000, 0xffff8001, 0xffff0000, 0xfff55580,
  0xffff8001, 0xffff0001, 0xfff7fff2, 0xffacab1e,
  0xffff0002, 0xfff80001, 0xffc17f85, 0xffac0074,
  0xfff80010, 0xffc18001, 0xffc0ff84, 0xffab55ca,
  0xffc1807d, 0xffc10001, 0xffc07f83, 0xddde2242,
  0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
  0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
  0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
  0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
  0xc001fffd, 0xc0010001, 0xc0000003, 0xaaab0020,
  0xc0017ffe, 0xc0008001, 0xbfff8002, 0xaaaa5576,
  0xc000ffff, 0xc0000001, 0xbfff0001, 0x8e39c73c,
  0xc0008000, 0xbfff8001, 0xaaaa5558, 0x777888a8,
  0xc0000001, 0xaaab0001, 0x99993336, 0x55ab5520,
  0xaaabaaaa, 0x999a0001, 0x803f0082, 0x55aaaa76,
  0x999acccc, 0x80400001, 0x803e8081, 0x55a9ffcc,
  0x8040ff80, 0x803f8001, 0x803e0080, 0x55a95522,
  0x80407f81, 0x803f0001, 0x803d807f, 0x5560aac0,
  0x803fff82, 0x803e8001, 0x80070012, 0x5558001e,
  0x803f7f83, 0x80080001, 0x80008005, 0x55575574,
  0x8008fff0, 0x80018001, 0x80000004, 0x5556aaca,
  0x80018000, 0x80000003, 0x5556aaac, 0x00000020,
  0x80010000, 0x7fff8002, 0x00000002, 0xffff3354,
  0x80008000, 0x00000001, 0xffff5558, 0xfffe6688,
  0x00000000, 0xffff8000, 0xfffeaaae, 0xfff33360,
  0xffff8000, 0xfffeffff, 0xfff55562, 0xff9c0084,
  0xffff0000, 0xfff7fff1, 0xffacab00, 0xff9b33b8,
  0xfff80000, 0xffc17f84, 0xffac0056, 0xff9a66ec,
  0xffc18000, 0xffc0ff83, 0xffab55ac, 0xd70a8f7c,
  0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
  0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
  0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
  0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
  0xc0018000, 0xc0008003, 0xaaabaaac, 0x999a0020,
  0xc0010000, 0xc0000002, 0xaaab0002, 0x99993354,
  0xc0008000, 0xbfff8001, 0xaaaa5558, 0x777888a8,
  0xc0000000, 0xbfff0000, 0x8e39c71e, 0x5c2a3d90,
  0xbfff8000, 0xaaaa5557, 0x7778888a, 0x339a6620,
  0xaaab0000, 0x99993335, 0x55ab5502, 0x33999954,
  0x999a0000, 0x803f0081, 0x55aaaa58, 0x3398cc88,
  0x80400000, 0x803e8080, 0x55a9ffae, 0x3397ffbc,
  0x803f8000, 0x803e007f, 0x55a95504, 0x3340cce0,
  0x803f0000, 0x803d807e, 0x5560aaa2, 0x33366684,
  0x803e8000, 0x80070011, 0x55580000, 0x333599b8,
  0x80080000, 0x80008004, 0x55575556, 0x3334ccec,
  0x80008003, 0x55575555, 0x3334ccce, 0x00000020,
  0x80000002, 0x5556aaab, 0x00000002, 0xffff00a0,
  0x7fff8001, 0x00000001, 0xffff3336, 0xfffe0120,
  0x00000000, 0xffff5557, 0xfffe666a, 0xfff00820,
  0xffff7fff, 0xfffeaaad, 0xfff33342, 0xff833ea0,
  0xfffefffe, 0xfff55561, 0xff9c0066, 0xff823f20,
  0xfff7fff0, 0xffacaaff, 0xff9b339a, 0xff813fa0,
  0xffc17f83, 0xffac0055, 0xff9a66ce, 0xcce699a0,
  0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
  0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
  0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
  0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
  0xc0010003, 0xaaac5555, 0x999accce, 0x80400020,
  0xc0008002, 0xaaabaaab, 0x999a0002, 0x803f00a0,
  0xc0000001, 0xaaab0001, 0x99993336, 0x55ab5520,
  0xbfff8000, 0xaaaa5557, 0x7778888a, 0x339a6620,
  0xbffeffff, 0x8e39c71d, 0x5c2a3d72, 0x00ffc020,
  0xaaaa5556, 0x77788889, 0x339a6602, 0x00fec0a0,
  0x99993334, 0x55ab5501, 0x33999936, 0x00fdc120,
  0x803f0080, 0x55aaaa57, 0x3398cc6a, 0x00fcc1a0,
  0x803e807f, 0x55a9ffad, 0x3397ff9e, 0x008ff820,
  0x803e007e, 0x55a95503, 0x3340ccc2, 0x0082fea0,
  0x803d807d, 0x5560aaa1, 0x33366666, 0x0081ff20,
  0x80070010, 0x5557ffff, 0x3335999a, 0x0080ffa0,
  0x5557fffe, 0x33359999, 0x0080ff82, 0x00000020,
  0x55575554, 0x3334cccd, 0x00000002, 0xffff009f,
  0x5556aaaa, 0x00000001, 0xffff0082, 0xfffe011e,
  0x00000000, 0xffff3335, 0xfffe0102, 0xfff00810,
  0xffff5556, 0xfffe6669, 0xfff00802, 0xff833e23,
  0xfffeaaac, 0xfff33341, 0xff833e82, 0xff823ea2,
  0xfff55560, 0xff9c0065, 0xff823f02, 0xff813f21,
  0xffacaafe, 0xff9b3399, 0xff813f82, 0xcce6666d,
  0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
  0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
  0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
  0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
  0xaaacfffe, 0x999b9999, 0x8040ff82, 0x803f8020,
  0xaaac5554, 0x999acccd, 0x80400002, 0x803e809f,
  0xaaabaaaa, 0x999a0001, 0x803f0082, 0x55aaaa76,
  0xaaab0000, 0x99993335, 0x55ab5502, 0x33999954,
  0xaaaa5556, 0x77788889, 0x339a6602, 0x00fec0a0,
  0x8e39c71c, 0x5c2a3d71, 0x00ffc002, 0x00fdc11f,
  0x77788888, 0x339a6601, 0x00fec082, 0x00fcc19e,
  0x55ab5500, 0x33999935, 0x00fdc102, 0x00fbc21d,
  0x55aaaa56, 0x3398cc69, 0x00fcc182, 0x008ef830,
  0x55a9ffac, 0x3397ff9d, 0x008ff802, 0x0081fea3,
  0x55a95502, 0x3340ccc1, 0x0082fe82, 0x0080ff22,
  0x5560aaa0, 0x33366665, 0x0081ff02, 0x007fffa1,
  0x33366664, 0x0081ff01, 0x007fff83, 0x00000020,
  0x33359998, 0x0080ff81, 0x00000002, 0xffff009e,
  0x3334cccc, 0x00000001, 0xffff0081, 0xfffe011c,
  0x00000000, 0xffff0081, 0xfffe0100, 0xfff00800,
  0xffff3334, 0xfffe0101, 0xfff007f2, 0xff833da6,
  0xfffe6668, 0xfff00801, 0xff833e05, 0xff823e24,
  0xfff33340, 0xff833e81, 0xff823e84, 0xff813ea2,
  0xff9c0064, 0xff823f01, 0xff813f03, 0xcce6333a,
  0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
  0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
  0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
  0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
  0x999c6664, 0x8041ff01, 0x80407f83, 0x803f0020,
  0x999b9998, 0x8040ff81, 0x803f8002, 0x803e009e,
  0x999acccc, 0x80400001, 0x803e8081, 0x55a9ffcc,
  0x999a0000, 0x803f0081, 0x55aaaa58, 0x3398cc88,
  0x99993334, 0x55ab5501, 0x33999936, 0x00fdc120,
  0x77788888, 0x339a6601, 0x00fec082, 0x00fcc19e,
  0x5c2a3d70, 0x00ffc001, 0x00fdc101, 0x00fbc21c,
  0x339a6600, 0x00fec081, 0x00fcc180, 0x00fac29a,
  0x33999934, 0x00fdc101, 0x00fbc1ff, 0x008df840,
  0x3398cc68, 0x00fcc181, 0x008ef812, 0x0080fea6,
  0x3397ff9c, 0x008ff801, 0x0081fe85, 0x007fff24,
  0x3340ccc0, 0x0082fe81, 0x0080ff04, 0x007effa2,
  0x0082fe80, 0x0080ff03, 0x007eff84, 0x00000020,
  0x0081ff00, 0x007fff82, 0x00000002, 0xffff009d,
  0x0080ff80, 0x00000001, 0xffff0080, 0xfffe011a,
  0x00000000, 0xffff0080, 0xfffe00fe, 0xfff007f0,
  0xffff0080, 0xfffe00ff, 0xfff007e2, 0xff833d29,
  0xfffe0100, 0xfff007f1, 0xff833d88, 0xff823da6,
  0xfff00800, 0xff833e04, 0xff823e06, 0xff813e23,
  0xff833e80, 0xff823e83, 0xff813e84, 0xcce60007,
  0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
  0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
  0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
  0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
  0x8042fe80, 0x80417f03, 0x803fff84, 0x803e8020,
  0x8041ff00, 0x80407f82, 0x803f0002, 0x803d809d,
  0x8040ff80, 0x803f8001, 0x803e0080, 0x55a95522,
  0x80400000, 0x803e8080, 0x55a9ffae, 0x3397ffbc,
  0x803f0080, 0x55aaaa57, 0x3398cc6a, 0x00fcc1a0,
  0x55ab5500, 0x33999935, 0x00fdc102, 0x00fbc21d,
  0x339a6600, 0x00fec081, 0x00fcc180, 0x00fac29a,
  0x00ffc000, 0x00fdc100, 0x00fbc1fe, 0x00f9c317,
  0x00fec080, 0x00fcc17f, 0x00fac27c, 0x008cf850,
  0x00fdc100, 0x00fbc1fe, 0x008df822, 0x007ffea9,
  0x00fcc180, 0x008ef811, 0x0080fe88, 0x007eff26,
  0x008ff800, 0x0081fe84, 0x007fff06, 0x007dffa3,
  0x0081fe83, 0x007fff05, 0x007dff85, 0x00000020,
  0x0080ff02, 0x007eff83, 0x00000002, 0xffff0030,
  0x007fff81, 0x00000001, 0xffff007f, 0xfffe0040,
  0x00000000, 0xffff007f, 0xfffe00fc, 0xfff00120,
  0xffff007f, 0xfffe00fd, 0xfff007d2, 0xff8307f0,
  0xfffe00fe, 0xfff007e1, 0xff833d0b, 0xff820800,
  0xfff007f0, 0xff833d87, 0xff823d88, 0xff810810,
  0xff833e03, 0xff823e05, 0xff813e05, 0xccd03350,
  0xff823e82, 0xff813e83, 0xcce5ffe9, 0xaab05570,
  0xff813f01, 0xcce6331b, 0xaad4aa83, 0x800afff0,
  0xcce6664d, 0xaad4ffd7, 0x80417e8b, 0x800a0000,
  0xaad5552b, 0x8041fe87, 0x80407f08, 0x80090010,
  0x80427e83, 0x8040ff05, 0x803f7f85, 0x80080020,
  0x80417f02, 0x803fff83, 0x803e8002, 0x80070030,
  0x80407f81, 0x803f0001, 0x803d807f, 0x5560aac0,
  0x803f8000, 0x803e007f, 0x55a95504, 0x3340cce0,
  0x803e807f, 0x55a9ffad, 0x3397ff9e, 0x008ff820,
  0x55aaaa56, 0x3398cc69, 0x00fcc182, 0x008ef830,
  0x33999934, 0x00fdc101, 0x00fbc1ff, 0x008df840,
  0x00fec080, 0x00fcc17f, 0x00fac27c, 0x008cf850,
  0x00fdc0ff, 0x00fbc1fd, 0x00f9c2f9, 0x001fff20,
  0x00fcc17e, 0x00fac27b, 0x008cf832, 0x0012fff0,
  0x00fbc1fd, 0x008df821, 0x007ffe8b, 0x00120000,
  0x008ef810, 0x0080fe87, 0x007eff08, 0x00110010,
  0x0080fe86, 0x007eff07, 0x0010fff2, 0x00000020,
  0x007fff04, 0x007dff84, 0x00000002, 0xffff0023,
  0x007eff82, 0x00000001, 0xffff0012, 0xfffe0026,
  0x00000000, 0xffff007e, 0xfffe0022, 0xfff00050,
  0xffff007e, 0xfffe00fb, 0xfff00102, 0xff830197,
  0xfffe00fc, 0xfff007d1, 0xff8307d2, 0xff82019a,
  0xfff007e0, 0xff833d0a, 0xff8207e2, 0xff81019d,
  0xff833d86, 0xff823d87, 0xff8107f2, 0xcccd99b9,
  0xff823e04, 0xff813e04, 0xccd03332, 0xaaac001f,
  0xff813e82, 0xcce5ffe8, 0xaab05552, 0x80048017,
  0xcce6331a, 0xaad4aa82, 0x800affd2, 0x8003801a,
  0xaad4ffd6, 0x80417e8a, 0x8009ffe2, 0x8002801d,
  0x8041fe86, 0x80407f07, 0x8008fff2, 0x80018020,
  0x8040ff04, 0x803f7f84, 0x80080002, 0x80008023,
  0x803fff82, 0x803e8001, 0x80070012, 0x5558001e,
  0x803f0000, 0x803d807e, 0x5560aaa2, 0x33366684,
  0x803e007e, 0x55a95503, 0x3340ccc2, 0x0082fea0,
  0x55a9ffac, 0x3397ff9d, 0x008ff802, 0x0081fea3,
  0x3398cc68, 0x00fcc181, 0x008ef812, 0x0080fea6,
  0x00fdc100, 0x00fbc1fe, 0x008df822, 0x007ffea9,
  0x00fcc17e, 0x00fac27b, 0x008cf832, 0x0012fff0,
  0x00fbc1fc, 0x00f9c2f8, 0x001fff02, 0x00060017,
  0x00fac27a, 0x008cf831, 0x0012ffd2, 0x0005001a,
  0x008df820, 0x007ffe8a, 0x0011ffe2, 0x0004001d,
  0x007ffe89, 0x0011ffe1, 0x0003ffff, 0x00000020,
  0x007eff06, 0x0010fff1, 0x00000002, 0xffff0022,
  0x007dff83, 0x00000001, 0xffff0005, 0xfffe0024,
  0x00000000, 0xffff0011, 0xfffe0008, 0xfff00040,
  0xffff007d, 0xfffe0021, 0xfff00032, 0xff83011a,
  0xfffe00fa, 0xfff00101, 0xff830179, 0xff82011c,
  0xfff007d0, 0xff8307d1, 0xff82017c, 0xff81011e,
  0xff833d09, 0xff8207e1, 0xff81017f, 0xcccd6686,
  0xff823d86, 0xff8107f1, 0xcccd999b, 0xaaabaaca,
  0xff813e03, 0xccd03331, 0xaaac0001, 0x8004001a,
  0xcce5ffe7, 0xaab05551, 0x80047ff9, 0x8003001c,
  0xaad4aa81, 0x800affd1, 0x80037ffc, 0x8002001e,
  0x80417e89, 0x8009ffe1, 0x80027fff, 0x80010020,
  0x80407f06, 0x8008fff1, 0x80018002, 0x80000022,
  0x803f7f83, 0x80080001, 0x80008005, 0x55575574,
  0x803e8000, 0x80070011, 0x55580000, 0x333599b8,
  0x803d807d, 0x5560aaa1, 0x33366666, 0x0081ff20,
  0x55a95502, 0x3340ccc1, 0x0082fe82, 0x0080ff22,
  0x3397ff9c, 0x008ff801, 0x0081fe85, 0x007fff24,
  0x00fcc180, 0x008ef811, 0x0080fe88, 0x007eff26,
  0x00fbc1fd, 0x008df821, 0x007ffe8b, 0x00120000,
  0x00fac27a, 0x008cf831, 0x0012ffd2, 0x0005001a,
  0x00f9c2f7, 0x001fff01, 0x0005fff9, 0x0004001c,
  0x008cf830, 0x0012ffd1, 0x0004fffc, 0x0003001e,
  0x0012ffd0, 0x0004fffb, 0x00030000, 0x00000020,
  0x0011ffe0, 0x0003fffe, 0x00000002, 0xffff0021,
  0x0010fff0, 0x00000001, 0xffff0004, 0xfffe0022,
  0x00000000, 0xffff0004, 0xfffe0006, 0xfff00030,
  0xffff0010, 0xfffe0007, 0xfff00022, 0xff83009d,
  0xfffe0020, 0xfff00031, 0xff8300fc, 0xff82009e,
  0xfff00100, 0xff830178, 0xff8200fe, 0xff81009f,
  0xff8307d0, 0xff82017b, 0xff810100, 0xcccd3353,
  0xff8207e0, 0xff81017e, 0xcccd6668, 0xaaab5575,
  0xff8107f0, 0xcccd999a, 0xaaabaaac, 0x8003801d,
  0xccd03330, 0xaaac0000, 0x8003fffc, 0x8002801e,
  0xaab05550, 0x80047ff8, 0x8002fffe, 0x8001801f,
  0x800affd0, 0x80037ffb, 0x80020000, 0x80008020,
  0x8009ffe0, 0x80027ffe, 0x80010002, 0x7fff8021,
  0x8008fff0, 0x80018001, 0x80000004, 0x5556aaca,
  0x80080000, 0x80008004, 0x55575556, 0x3334ccec,
  0x80070010, 0x5557ffff, 0x3335999a, 0x0080ffa0,
  0x5560aaa0, 0x33366665, 0x0081ff02, 0x007fffa1,
  0x3340ccc0, 0x0082fe81, 0x0080ff04, 0x007effa2,
  0x008ff800, 0x0081fe84, 0x007fff06, 0x007dffa3,
  0x008ef810, 0x0080fe87, 0x007eff08, 0x00110010,
  0x008df820, 0x007ffe8a, 0x0011ffe2, 0x0004001d,
  0x008cf830, 0x0012ffd1, 0x0004fffc, 0x0003001e,
  0x001fff00, 0x0005fff8, 0x0003fffe, 0x0002001f,
};
const unsigned kExpectedCount_NEON_umlsl2_4S = 576;

#endif  // VIXL_SIM_UMLSL2_4S_TRACE_AARCH64_H_
